"Marko Van Eekelen" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Interactive Theorem Proving - ITP 2011

Автор: Marko Van Eekelen, Автор: Herman Geuvers, Автор: Julien Schmaltz, Автор: Freek Wiedijk

Размер книги: 3.65 Mb

Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, ... Programming and Software Engineering)

Автор: Marko van Eekelen, Автор: Olha Shkaravska

Размер книги: 2.76 Mb